A non-transitive relevant implication corresponding to classical logic consequence
نویسندگان
چکیده
منابع مشابه
Defining implication relation for classical logic
Classical logic is unfortunately defective with its problematic definition of implication relation, the “material implication”. This work presents a corrected definition of implication relation to replace material implication in classical logic. Common “paradoxes” of material implication are avoided while simplicity and usefulness of the system are reserved with this definition of implication r...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
It is well known that the conjunction-negation fragment of the classical propositional calculus coincides with the conjunction-negation fragment of the Heyting propositional calculus (Godel, 1933; Kleene, 1952, $81). Since conjunction and negation form a sufficient basis for classical propositional logic, this reduces, in a certain sense, classical propositional logic to a fragment of Heyting p...
متن کاملNon-classical operations hidden in classical logic
Objects of consideration are various non-classical connectives “hidden” in the classical logic in the form of with — a classical connective, and — a propositional variable. One of them is negation, which is defined as ; another is necessity, which is defined as . The new operations are axiomatized and it is shown that they belong to the 4–valued logic of Łukasiewicz.A 2–point Kripke semantics i...
متن کاملProbability and non-classical logic
Classical tautologies have probability 1. Classical contradictions have probability 0. These familiar features reflect a connection between standard probability theory and classical logic. In contexts in which classical logic is questioned—to deal with the paradoxes of self-reference, or vague propositions, for the purposes of scientific theory or metaphysical anti-realism—we must equally quest...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2019
ISSN: 1448-5052
DOI: 10.26686/ajl.v16i2.5273